/*
 * TerminalState.cpp
 *
 *  Created on: Jan 3, 2012
 *      Author: calle
 */

#include "TerminalState.h"
#include <RandomPkg/Randomizer.h>




const TerminalState TerminalState::TERMINAL("Terminal");
const TerminalState TerminalState::NON_TERMINAL("Non Terminal");

#include <cstdlib>
#include <assert.h>

TerminalState::TerminalState(const char* image): Enumeration<TerminalState>(image) {
}



TerminalState::TerminalState(): Enumeration<TerminalState>(TerminalState::TERMINAL)
{
}


TerminalState TerminalState::getRandom()
{

	RandomPkg::Randomizer  randState;
	const TerminalState& mode = randState.createRandom<TerminalState>();

	return mode;
}
